101. Logic and program semantics
Author: Robert L. Constable, Alexandra Silva (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic,Computer programming,Software engineering
Classification :
QA76
.
9
.
L63
L64
2012eb
102. Logic for Programming, Artificial Intelligence, and Reasoning
Author: / Edmund M. Clarke, Andrei Voronkov
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
103. Logic for Programming, Artificial Intelligence, and Reasoning
Author: / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
104. Logic for Programming, Artificial Intelligence, and Reasoning
Author: / ller, Andrei VoronkovیChristian G. Ferm
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
105. Logic for Programming, Artificial Intelligence, and Reasoning
Author: / Ken McMillan, Aart Middeldorp, Andrei Voronkov
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
106. Logic for Programming, Artificial Intelligence, and Reasoning
Author: / rner, Andrei VoronkovوNikolaj Bj
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
107. Logic programming
Author: / Veronica Dahl, Ilkka Niemel?n (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming--Congresses
Classification :
QA
,
76
.
63
,
I55
,
2007
108. Logic programming
Author: Patricia M. Hill, David S. Warren (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses
Classification :
QA76
.
63
.
I57
2009eb
109. Machine learning :
Author: Y. Kodratoff (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
110. Mathematical Methods in Program Development
Author: edited by Manfred Broy, Birgit Schieder.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1997
111. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR
Author: / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
112. Microsoft Visual Basic Programs to Accompany Programming Logic and Design
Author: / Jo Ann Smith
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
113. Model and data engineering :
Author: El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
D3
114. Modeling Design Objects and Processes
Author: edited by Takaaki Yagiu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Physics.,Software engineering.
Classification :
TA345
.
E358
1991
115. Models in Software Engineering
Author: edited by Jörg Kienzle
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
116. Models, languages, and tools for concurrent and distributed programming :
Author: Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: De Nicola, Rocco.,Logic design.,Software engineering.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
M63
2019
117. OOER '95:
Author: Michael P. Papazoglou (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Software engineering.
118. Objects and systems :
Author: Bernard P. Zeigler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Object-oriented programming (Computer science),Objektorientierte Programmierung
Classification :
QA76
.
73
.
C153
B476
1997
119. Order Logic-Programming with Higher
Author: / Miller, Dale
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
120. Order Logic-Programming with Higher
Author: / Dale Miller, Gopalan Nadathur
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
